perm filename TANDBE[LET,JMC] blob
sn#827429 filedate 1986-10-31 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 Dr. O. T. Tandberg
C00005 ENDMK
Cā;
Dr. O. T. Tandberg
Royal Swedish Academy
Box 50005
S-10405
Stockholm, SWEDEN
Dear Dr. Tandberg:
This letter is to follow up on my phone call, provide the
information you requested and ask some questions about what ICSU
is likely to do to assure that my colleagues can attend the Moscow
meeting, what ICSU has done in the past with what result, and what
ICSU and its constituent societies do when their efforts fail.
I need this information in order to determine whether ICSU can
be relied on or whether independent effort is needed to put
pressure on the Soviets.
The meeting is the Eighth International Congress of Logic,
Methodology and Philosophy of Science which will be held in Moscow, August
17-22, 1987. My colleague Vladimir Lifschitz and I plan to submit
a paper with the approximate title ``Causality and Non-Monotonic Reasoning''.
Dana Scott knows something of our work in this area and will
tell you that it is entirely appropriate for the Congress.
Lifschitz was educated in Leningrad as a mathematical logician
and emigrated to the U.S. in 1977. In the U.S. he has had academic
jobs including a tenured associate professorship at the University
of Texas at El Paso, but now he is Senior Research Associate in
Computer Science at Stanford. I believe he will eventually become
a professor in the Stanford Computer Science Department.
He has recently become well known in the field of artificial intelligence
for his work in formalizing non-monotonic reasoning. Lifschitz is
a U.S. citizen.
Besides Lifschitz we know that Professor Yuri Gurevich of the
Computer Science Department, University of Michigan, has applied
for information about the Moscow meeting. Gurevich also emigrated
legally from the Soviet Union and is now
an Israeli citizen.